3f754fa894d26f2d3f12a859c10c89af8fefd496,tests/it.xsemantics.dsl.tests/expectations/fj_first_test/it/xsemantics/test/fj/first/FjFirstTypeSystem.java,FjFirstTypeSystem,applyRuleCheckClass,#RuleEnvironment#RuleApplicationTrace#it.xsemantics.example.fj.fj.Class#,1638
Before Change
boolean _notEquals = (!Objects.equal(_superclass, null));
if (_notEquals) {
List<it.xsemantics.example.fj.fj.Class> superClasses = null;
List<it.xsemantics.example.fj.fj.Class> _superclasses = this.superclassesInternal(_trace_, cl);
superClasses = _superclasses;
boolean _contains = superClasses.contains(cl);
boolean _not = (!_contains);
/* !superClasses.contains(cl) */
After Change
boolean _notEquals = (!Objects.equal(_superclass, null));
if (_notEquals) {
List<it.xsemantics.example.fj.fj.Class> superClasses = null;
superClasses = this.superclassesInternal(_trace_, cl);
boolean _contains = superClasses.contains(cl);
boolean _not = (!_contains);
/* !superClasses.contains(cl) */